SP-0116: Automatic planning strategies
نویسندگان
چکیده
منابع مشابه
Automatic Testing through Planning
We describe a strategy to automatically test software built using preand postconditions. The strategy searches for valid routine calls: calls for which the preconditions are satisfied. If such calls fail (because the postcondition or another check is violated), we have found a bug. The testing strategy automatically builds a model of the software under test. The model is an abstract version of ...
متن کاملManufacturing capacity planning strategies
When planning for a new manufacturing system to produce several products over a planning horizon, firms usually face an important decision regarding how to select the optimal quantity and portfolio of product-dedicated and flexible capacities. Flexible systems may alleviate the unfavorable effects of demand uncertainties, however they require higher investment costs compared to dedicated system...
متن کاملControl Strategies in Planning
Over the years increasing sophisticated planning algorithms have been developed. These have made for more efficient planners. However, current state of the art planners still suffer from severe complexity problems, problems that can surface even in domains in which good plans are easy to generate, like the blocks world. Planners generally employ search to find plans, and planning research has i...
متن کاملAutomatic Analysis of Planning Domains
Efficient domain-independent planning has been a long-standing research goal [17, 4]. The objective is to create a system — a planner — that can receive as input a description of a collection of legal actions, a description of an initial state of the world and a characterisation of a set of goal states and for the system to produce a programme of activity made of instances of the actions whose ...
متن کاملAutomatic Learning in Proof Planning
In this paper we present a framework for automated learning within mathematical reasoning systems. In particular, this framework enables proof planning systems to automatically learn new proof methods from well chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our framework consists of a representation formalism for methods and a machine learning techniq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Radiotherapy and Oncology
سال: 2015
ISSN: 0167-8140
DOI: 10.1016/s0167-8140(15)40114-8